home *** CD-ROM | disk | FTP | other *** search
- import java.util.Enumeration;
- import java.util.Vector;
-
- public class ThingHolder extends Thing {
- private Vector things = new Vector();
-
- Vector getthings() {
- return this.things;
- }
-
- void setthings(Vector var1) {
- this.things = var1;
- }
-
- void addthing(Thing var1) {
- this.things.addElement(var1);
- }
-
- void addthings(Vector var1) {
- Enumeration var2 = var1.elements();
- if (var2.hasMoreElements()) {
- do {
- this.things.addElement((Thing)var2.nextElement());
- } while(var2.hasMoreElements());
- }
-
- }
-
- ThingHolder(String var1, String var2) {
- super(var1, var2);
- }
- }
-